1. Algorithms and recursive functions /
Author: A. I. Mal'cev ; translated from the first Russian edition by Leo F. Boron ; with the collaboration of Luis E. Sanchis, John Stillwell and Kiyoshi Iséki.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
2. Enumerability, decidability, computability. An introduction to the theory of recursive functions
Author: Harmes, Hans
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Recursive functions,، Algebraithms,، Godel's theorem
Classification :
QA
248
.
5
.
H413
1969
3. Enumerability, decidability, computability; an introduction to the theory of recursive functions
پدیدآورنده : Hermes, Hans
موضوع : ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. Enumerability decidability computability : an introduction to the theory of recursive functions
Author: Hermes, Hans
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Recursive functions,، Algorithms,، Godel's theorem
Classification :
QA
248
.
5
.
H413
1969
5. Formal systems and recursive functions /
Author: edited by J.N. Crossley and M.A.E. Dummett.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical, Congresses.,Recursive functions, Congresses.,Fonctions récursives.,Logique symbolique et mathématique.,Fonctions récursives-- Congrès.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique-- Congrès.,Recursive functions.
Classification :
QA9
.
615
.
F67
1965
6. RECURSIVE FUNCTIONS IN COMPUTER THEORY
Author:
Library: Central Library of Ahvaz Faculty of Petroleum (Khuzestan)
Subject:
Classification :
511
,
3
,
PET
7. #Recursive functions
Author: #]Translated by Istvan Foldes[
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Recursive functions
Classification :
#
QA
،#.
P413
،#
1967
8. Recursive functions
پدیدآورنده :
موضوع : ، Recursive functions
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
9. Recursive functions and metamathematics :
Author: Roman Murawski.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Decidability (Mathematical logic),Gödel's theorem.,Recursive functions.
10. The Foundations of intuitionistic mathematics; especially in relation to recursive functions
Author: Kleene, Stephen Cole, 9091-
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: ، Constructive mathematics,، Recursive functions
Classification :
QA
9
.
K648
11. The foundations of intuitionistic mathematics, especially in relation to recursive functions
Author: Kleene, Stephen Cole
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Intuitionistic mathematics,، Recursive functions
Classification :
QA
9
.
K648
12. The foundations of intuitionistic mathematics, especially in relation to recursive functions
Author: Kleene, Stephen Cole
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Mathematics,، Recursive functions
Classification :
QA
248
.
5
.
K6
13. The foundations of intuitionistic mathematics, especially in relation to recursive functions
Author: Kleene, Stephen Cole
Library: Central Library and Documentation Center (Kerman)
Subject: ، Intuitionistic mathematics,، Recursive functions
Classification :
QA
9
.
K648
14. #Theory of recursive functions and effective computability
پدیدآورنده : Rogers, Hartley
موضوع : ، Recursive functions,، Computable functions
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
15. Theory of recursive functions and effective computability
Author: Rogers, Hartley
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Recursive functions,، Computable functions
Classification :
QA
248
.
5
.
R6
16. Theory of recursive functions and effective computability
Author: Rogers, Hartley
Library: Central Library and Documentation Center (Kerman)
Subject: ، Recursive functions,، Computable functions
Classification :
QA
9
.
615
.
R64
1987
17. Theory of recursive functions & effective computability
Author: ROGERS,HARTLEY
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: RECURSIVE FUNCTIONS
Classification :
QA
248
.
5
.
R6
